(PR (BL (EVAR EVNT) (PRINT "BPARK IS NOW ") (PRINT BPARK) (ASSERT (AF BARM = BPARK)) (MO BARM BPARK (DURATION = 3)) (PRINT "BARM IS NOW ") (PRINT BARM) (EV EVNT -) ) )